机译:TLSim和EVC:术语级别的符号模拟器和有效的决策程序,用于具有未解释功能和存储的相等逻辑
机译:建立小的相等图以决定具有未解释函数的相等逻辑
机译:等价约束下具有相等性和未解释函数的逻辑的可满足性检查
机译:使用有效决策程序进行微处理器验证,以实现具有未解释功能的相等逻辑
机译:有效地设计和验证微处理器的技术
机译:微流控气动逻辑电路和数字微处理器的气动综合微流体系统
机译:使用有效决策程序的微处理器验证,用于与未解释函数相等的逻辑
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑